Abstraction and Empty Process in Process Algebra1
نویسندگان
چکیده
منابع مشابه
Discrete-Time Process Algebra with Empty Process
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is paid to the considerations and problems that arise when introducing the empty process. We prove time determinacy, soundness, completeness, and the axioms of standard concurrency. 1991 Mathematics Subject Classification: 6...
متن کاملBusiness process model abstraction
Business process models are used within a range of organizational initiatives, where every stakeholder has a unique perspective on a process and demands the respective model. As a consequence, multiple process models capturing the very same business process coexist. Keeping such models in sync is a challenge within an ever changing business environment: once a process is changed, all its models...
متن کاملPriority and Abstraction in Process Algebra
More than 15 years ago, Cleaveland and Hennessy proposed an extension of theprocess algebra CCS in which some actions may take priority over others. Thetheory was equipped with a behavioral congruence based on strong bisimulation.This article gives a full account of the challenges in, and the solutions employedfor, defining a semantic theory of observation congruence for this pr...
متن کاملStructural abstraction of process specifications
Software engineers constantly deal with problems of designing, analyzing, and improving process specifications, e.g., source code, service compositions, or process models. Process specifications are abstractions of behavior observed or intended to be implemented in reality which result from creative engineering practice. Usually, process specifications are formalized as directed graphs, where e...
متن کاملUnsupervised Event Abstraction using Pattern Abstraction and Local Process Models
Process mining analyzes business processes based on events stored in event logs. However, some recorded events may correspond to activities on a very low level of abstraction. When events are recorded on a too low level of granularity, process discovery methods tend to generate overgeneralizing process models. Grouping low-level events to higher level activities, i.e., event abstraction, can be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 1989
ISSN: 1875-8681,0169-2968
DOI: 10.3233/fi-1989-12208